Domains via approximation operators

In this paper, we tailor-make new approximation operators inspired by rough set theory and specially suited for domain theory. Our approximation operators offer a fresh perspective to existing concepts and results in domain theory, but also reveal ways to establishing novel domain-theoretic results. For instance, (1) the well-known interpolation property of the way-below relation on a continuous poset is equivalent to the idempotence of a certain set-operator; (2) the continuity of a poset can be characterized by the coincidence of the Scott closure operator and the upper approximation operator induced by the way below relation; (3) meet-continuity can be established from a certain property of the topological closure operator. Additionally, we show how, to each approximating relation, an associated order-compatible topology can be defined in such a way that for the case of a continuous poset the topology associated to the way-below relation is exactly the Scott topology. A preliminary investigation is carried out on this new topology.Comment: 17 pages; 1figure, Domains XII Worksho

A survey of dynamic power optimization techniques

One of the most important considerations for the current VLSI/SOC design is power, which can be classified into power analysis and optimization. In this survey, the main concepts of power optimization including the sources and policies are introduced. Among the various approaches, dynamic power management (DPM), which implies to change devices states when they are not working at the highest speed or at their full capacity, is the most efficient one. Our explanations accompanying the figures specify the abstract concepts of DPM. This paper briefly surveys both heuristic and stochastic policies and discusses their advantages and disadvantages

Improving Recommendation Novelty Based on Topic Taxonomy

Clustering has been a widely applied approach to improve the computation efficiency of collaborative filtering based recommendation systems. Many techniques have been suggested to discover the item-to-item, user-to- user, and item-to-user associations within user clusters. However, there are few systems utilize the cluster based topic-to-topic associations to make recommendations. This paper suggests a taxonomy-based recommender system that utilizes cluster based topic-to-topic associations to improve its recommendation quality and novelty

Efficient and flexible algorithm for plant layout generation

A facilities layout, also called plant layout, consists of the production areas, production related or support areas and personnel areas within the building. Plant layout design is one of the strategic fields that determine the long run efficiency of operation.;This dissertation proposes an efficient and flexible plant layout algorithm to minimize the material handling cost and deal with change in future. A material flow forecasting tool, a scheduling module related to layout design and an evaluation method of flexible layouts are also proposed by this dissertation. A computer-based system will be developed to integrate all of the functions.;The first chapter of this paper introduces the issues in plant layout design. Because the volume and the mix of products to be produced are typically not known with certainty nor are they static over time, it is desirable to design a flexible layout to accommodate these changes. Chapter two gives a brief review of various algorithms and programs of layout design. Chapter three provides insight into the approach taken for the proposed flexible layout design. Then it presents all major algorithms involved in forecasting, pair exchange layout design, flexible layout design and evaluation. Chapter four is concerned with the computer-based system analysis and design. Chapter five uses several case studies to validate the algorithms and computer system. Chapter six explains the contributions of this research. Chapter seven gives the conclusions and future work

Block level voltage

Over the past years, state-of-art power optimization methods move towards higher abstraction levels that result in more efficient power savings. Among existing power optimization approaches, dynamic power management (DPM) is considered to be one of the most effective strategies. Depending on abstraction levels, DPM can be implemented in different formats but here we focus on scheduling that is more suitable for real-time system design use. This differs from the concurrent scheduling approaches that start from either the HLS (High-Level Synthesis) or RTS (Real-Time System) point of view, we propose a synergy solution of both approaches, namely block-level voltage/frequency scheduling (BLVFS). The presented block-level voltage/ frequency scheduling approach shows a generic solution for low power SoC (System on Chip) system design while the approaches which belong to the HLS and RTS categories have a strong dependency on the system functionalities. Consider a SoC as a combination of heterogeneous functional blocks, our approach provides efficient power savings by dynamically scheduling the scaling of voltage and frequency at the same time. Simulation results indicate that by using heuristic based strategies significant power savings can be achieved